Invited Talks

Our understanding of the notion “dynamic system” is a rather broad one: such a system has states, which can change over time. Ontologies are used to describe the states of the system, possibly in an incomplete way. Monitoring is then concerned with deciding whether some run of the system or all of its runs satisfy a certain property, which can be expressed by a formula of an appropriate temporal logic. I consider different instances of this broad framework, which can roughly be classified into two cases. In one instance, the system is assumed to be a black box, whose inner working is not known, but whose states can be (partially) observed during a run of the system. In the second instance, one has (partial) knowledge about the inner working of the system, which provides information on which runs of the system are possible. In this talk, I will review some of our recent research that investigates different instances of this general framework of ontology-based monitoring of dynamic systems. I will also sketch possible extensions towards probabilistic reasoning and the integration of mathematical modeling of dynamical systems. Franz Baader has been a full professor of theoretical computer science at TU Dresden since 2002, and dean of the Faculty of Computer Science of TU Dresden since 2012. He obtained his PhD in computer science at the University of Erlangen in 1989. He was a senior researcher at the German Research Centre for Artificial Intelligence (DFKI) in Kaiserslautern and Saarbrücken for four years, and associate professor of theoretical computer science at RWTH Aachen for eight years. His main research area is logic in computer science and artificial intelligence, in particular knowledge representation (description logics, modal logics, ontologies) and automated deduction (term rewriting, unification theory, combination of decision procedures). He was program chair of the KI’01, CADE’03, LPAR’04, and RTA’07 conferences, is an editorial board member of several journals in AI and logic in computer Sscience, and has published more than 200 refereed articles in major journals and conferences. He is a member of the Academia Europaea and an ECCAI fellow, and was for twelve years president of CADE Inc., the organization that runs the International Conference on Automated Deduction.